Balduccini, M. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (42)
Les plus populaires
Liste
- Liste
- Tableau

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 10377 || NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond

Balduccini, Marcello, Janhunen, Tomi

Année:

2017

Langue:

english

Fichier:

PDF, 576 KB

english, 2017

[Institution of Engineering and Technology Living in the Internet of Things: Cybersecurity of the IoT - 2018 - London, UK (28-29 March 2018)] Living in the Internet of Things: Cybersecurity of the IoT - 2018 - Ontology-based Reasoning about the Trustworthiness of Cyber-physical Systems

Balduccini, M., Griffor, E., Huth, M., Vishik, C., Burns, M., Wollman, D.

Année:

2018

Langue:

english

Fichier:

PDF, 274 KB

english, 2018

Effect of solid olive-mill waste amendment on soil fertility and olive (Olea europaea L.) tree activity

Nasini, Luigi, Gigliotti, Giovanni, Balduccini, Maria Alessandra, Federici, Ermanno, Cenci, Giovanni, Proietti, Primo

Journal:

Agriculture, Ecosystems & Environment

Année:

2013

Langue:

english

Fichier:

PDF, 333 KB

english, 2013

SAE Technical Paper Series [SAE International International Conference On Environmental Systems - (JUL. 09, 1990)] SAE Technical Paper Series - Thermal Design, Testing and Firing Control Strategy of the Liquid Apogee Engine and Thermal Shield Assembly for the ITALSAT Spacecraft

Balduccini, Mauro, Giommi, Marco, Morelli, Guido, Santin, Giampiero

Année:

1990

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1990

Constraint answer set solver EZCSP and why integration schemas matter

BALDUCCINI, MARCELLO, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2017

Issues in parallel execution of non-monotonic reasoning systems

Marcello Balduccini, Enrico Pontelli, Omar Elkhatib, Hung Le

Journal:

Parallel Computing

Année:

2005

Langue:

english

Fichier:

PDF, 463 KB

english, 2005

Status of next generation expendable launchers concepts within the FLPP program

Yann Letourneur, Frederic Leleu, Didier Pinard, Joerg Krueger, Mauro Balduccini

Journal:

Acta Astronautica

Année:

2010

Langue:

english

Fichier:

PDF, 415 KB

english, 2010

Answer set based design of knowledge systems

Marcello Balduccini, Michael Gelfond, Monica Nogueira

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2006

Langue:

english

Fichier:

PDF, 565 KB

english, 2006

[Lecture Notes in Computer Science] Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Volume 6565 || Argumentation and Answer Set Programming

Balduccini, Marcello, Son, Tran Cao

Année:

2011

Langue:

english

Fichier:

PDF, 255 KB

english, 2011

[IEEE 2012 IEEE First AESS European Conference on Satellite Telecommunications (ESTEL) - Rome, Italy (2012.10.2-2012.10.5)] 2012 IEEE First AESS European Conference on Satellite Telecommunications (ESTEL) - VEGA: The history of a European success

Accettura, Antonio, Balduccini, Mauro, Carducci, Franco, De Lillis, Arturo, D'Aversa, Emanuela

Année:

2012

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2012

[American Institute of Aeronautics and Astronautics 54th International Astronautical Congress of the International Astronautical Federation, the International Academy of Astronautics, and the International Institute of Space Law - Bremen, Germany (29 September 2003 - 03 October 2003)] 54th International Astronautical Congress of the International Astronautical Federation, the International Academy of Astronautics, and the International Institute of Space Law - The VEGA Launch System and Future Service Options

Balduccini, Mauro

Année:

2003

Langue:

english

Fichier:

PDF, 788 KB

english, 2003

[American Institute of Aeronautics and Astronautics 2nd Aerospace Maintenance Conference - San Antonio,TX,U.S.A. (21 May 1986 - 23 May 1986)] 2nd Aerospace Maintenance Conference - The propulsion module of the Columbus Space Platform - Trade offs and design

BORRIELLO, G., FABRIZI, A., BALDUCCINI, M., BRIOIS, A.

Année:

1986

Langue:

english

Fichier:

PDF, 927 KB

english, 1986

[American Institute of Aeronautics and Astronautics Infotech@Aerospace - Arlington, Virginia ()] Infotech@Aerospace - Efficiently Checking the Determinism of AL Action Descriptions

Balduccini, Marcello, Gelfond, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 125 KB

english, 2005

[IEEE 2008 Microwave Radiometry and Remote Sensing of the Environment (MICRORAD 2008) - Florence, Italy (2008.03.11-2008.03.14)] 2008 Microwave Radiometry and Remote Sensing of the Environment - FLORAD: Micro-satellite flower constellation of millimeter-wave radiometers for atmospheric remote sensing

Marzano, F. S., Cimini, D., Montopoli, M., Memmo, A., Ferretti, R., Rossi, T., De Sanctis, M., Lucente, M., Mortari, D., Oricchio, D., Varchetta, S., Pavia, P., Nassisi, A., Balduccini, M., Scorzolini

Année:

2008

Langue:

english

Fichier:

PDF, 378 KB

english, 2008

[IEEE International Conference on Intelligent Sensing and Information Processing, 2004. - Chennai, India (4-7 Jan. 2004)] International Conference on Intelligent Sensing and Information Processing, 2004. Proceedings of - A-prolog with CR-rules and ordered disjunction

Balduccini, M., Mellarkod, V.

Année:

2004

Langue:

english

Fichier:

PDF, 607 KB

english, 2004

[IEEE 2014 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2014.10.6-2014.10.8)] 2014 IEEE Military Communications Conference - Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning

Balduccini, Marcello, Nguyen, Duc N., Regli, William C.

Année:

2014

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2014

[Foundations of Artificial Intelligence] Handbook of Knowledge Representation Volume 3 || Chapter 20 Knowledge Representation and Question Answering

Balduccini, Marcello

Année:

2008

Langue:

english

Fichier:

PDF, 278 KB

english, 2008

Formalization of psychological knowledge in answer set programming and its application

BALDUCCINI, MARCELLO, GIROTTO, SARA

Journal:

Theory and Practice of Logic Programming

Année:

2010

Langue:

english

Fichier:

PDF, 122 KB

english, 2010

ASP with non-herbrand partial functions: a language and system for practical use

BALDUCCINI, MARCELLO

Journal:

Theory and Practice of Logic Programming

Année:

2013

Langue:

english

Fichier:

PDF, 234 KB

english, 2013

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 10377 || Answer Set Programs with Queries over Subprograms

Balduccini, Marcello, Janhunen, Tomi

Année:

2017

Langue:

english

Fichier:

PDF, 272 KB

english, 2017

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 10377 || The ASP System DLV2

Balduccini, Marcello, Janhunen, Tomi

Année:

2017

Langue:

english

Fichier:

PDF, 204 KB

english, 2017

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 10377 || Blending Lazy-Grounding and CDNL Search for Answer-Set Solving

Balduccini, Marcello, Janhunen, Tomi

Année:

2017

Langue:

english

Fichier:

PDF, 240 KB

english, 2017

CASP solutions for planning in hybrid domains

BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.

Journal:

Theory and Practice of Logic Programming

Année:

2017

Langue:

english

Fichier:

PDF, 804 KB

english, 2017

“Information Warfare” and Online News Commenting: Analyzing Forces of Social Influence Through Location-Based Commenting User Typology

Zelenkauskaite, Asta, Balduccini, Marcello

Journal:

Social Media + Society

Année:

2017

Langue:

english

Fichier:

PDF, 612 KB

english, 2017

Answer Set Planning in Single- and Multi-agent Environments

Son, Tran Cao, Balduccini, Marcello

Journal:

KI - Künstliche Intelligenz

Année:

2018

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2018

SAE Technical Paper Series [SAE International International Conference On Environmental Systems - (JUL. 08, 1991)] SAE Technical Paper Series - Flight Firing Operations on the ITALSAT F1 R-4D-11 Thruster

Balduccini, Mauro, Giommi, Marco, Morelli, Guido

Année:

1991

Langue:

english

Fichier:

PDF, 537 KB

english, 1991

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) ||

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 14.42 MB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Evaluation of Disjunctive Programs in WASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 473 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Internet Routing and Non-monotonic Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 388 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Assessing Arguments with Schemes and Fallacies

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 314 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Telco Network Inventory Validation with NoHR

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 1017 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Train Scheduling with Hybrid ASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 383 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) ||

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Fichier:

PDF, 14.42 MB

2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Fichier:

PDF, 367 KB

2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Enhancing DLV for Large-Scale Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Langue:

english

Fichier:

PDF, 431 KB

english, 2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Telco Network Inventory Validation with NoHR

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Fichier:

PDF, 1017 KB

2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Train Scheduling with Hybrid ASP

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Fichier:

PDF, 383 KB

2019

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 11481 (15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings) || Enhancing DLV for Large-Scale Reasoning

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

Année:

2019

Fichier:

PDF, 431 KB

2019

Action-Centered Information Retrieval

BALDUCCINI, MARCELLO, LEBLANC, EMILY C.

Journal:

Theory and Practice of Logic Programming

Année:

2019

Fichier:

PDF, 1.06 MB

2019

[IEEE 2019 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) - Montreal, QC, Canada (2019.4.15-2019.4.15)] 2019 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) - Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making

Balduccini, Marcello, Griffor, Edward, Huth, Michael, Vishik, Claire, Wollman, David, Kamongi, Patrick

Année:

2019

Langue:

english

Fichier:

PDF, 712 KB

english, 2019

AAAI 2008 Spring Symposia Reports

Balduccini, Marcello, Baral, Chitta, Brodaric, Boyan, Colton, Simon, Fox, Peter, Gutelius, David, Hinkelmann, Knut, Horswill, Ian, Huberman, Bernardo, Hudlicka, Eva, Lerman, Kristina, Lisetti, Christi

Journal:

AI Magazine

Année:

2008

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2008

Special issue on answer set programming

Balduccini, Marcello, Woltran, Stefan

Journal:

AI Communications

Année:

2011

Fichier:

PDF, 32 KB

2011